منابع مشابه
Magic Sets vs. SLD-Resolution
It is by now folklore that the bottom-up evaluation of a program after the “magic set” transformation is “as efficient as” top-down evaluation. There are a number of formalizations of this in the literature. However, the naive formalization is false: As shown by Ross, SLD-resolution can be much more efficient than bottom-up evaluation with magic sets on tail-recursive programs. We show that thi...
متن کاملMulti-sld Resolution (appeared in Lpar94)
Multi-SLD resolution is a variant of SLD resolution based on a simple idea: Let the allowed constraints be closed under disjunction, and provide a mechanism for collecting solutions to a goal and turning the solutions into a disjunctive constraint. This idea leads to an operational model of logic programming, called data or-parallelism, in which multiple constraint environments partially replac...
متن کاملIntegrating Re ection into SLD - resolution ( Extended
20 January, 1995 Integrating Re ection into SLD-resolution (Extended Abstract) Jonas Barklund Stefania Costantini Pierangelo Dell'Acqua Gaetano A. Lanzarone Uppsala University Universit a degli Studi di Milano Uppsala University Computing Science Department Box 311, S-751 05 Uppsala, Sweden Phone: +48 18 18 25 00 Fax: +46 18 51 19 25 Abstract In this paper we present an extension of SLD-resolut...
متن کاملA Framework for Bottom-Up Simulation of SLD-Resolution
This paper introduces a framework for the bottom-up simulation of SLD-resolution based on partial evaluation. The main idea is to use database facts to represent a set of SLD goals. For deductive databases it is natural to assume that the rules defining derived predicates are known at “compile time”, whereas the database predicates are known only later at runtime. The framework is inspired by t...
متن کاملSLDR-DL: A Framework for SLD-Resolution with Deep Learning
This paper introduces an SLD-resolution technique based on deep learning. This technique enables neural networks to learn from old and successful resolution processes and to use learnt experiences to guide new resolution processes. An implementation of this technique is named SLDR-DL. It includes a Prolog library of deep feedforward neural networks and some essential functions of resolution. In...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1984
ISSN: 0743-1066
DOI: 10.1016/0743-1066(84)90027-x